Concurrency Theorems for Pentagrams

Pentagrams and Paradoxes

Klyachko and coworkers consider an orthogonality graph in the form of a pentagram, and in this way derive a Kochen-Specker inequality for spin 1 systems. In some low-dimensional situations Hilbert spaces are naturally organised, by a magical choice of basis, into SO(N) orbits. Combining these ideas some very elegant results emerge. We give a careful discussion of the pentagram operator, and the...

Parallelism and Concurrency Theorems for Rules with Nested Application Conditions

We present Local Church-Rosser, Parallelism, and Concurrency Theorems for rules with nested application conditions in the framework of weak adhesive HLR categories including different kinds of graphs. The proofs of the statements are based on the corresponding statements for rules without application conditions and two Shift-Lemmas, saying that nested application conditions can be shifted over ...

ON CONVERGENCE THEOREMS FOR FUZZY HENSTOCK INTEGRALS

The main purpose of this paper is to establish different types of convergence theorems for fuzzy Henstock integrable functions, introduced by  Wu and Gong cite{wu:hiff}. In fact, we have proved fuzzy uniform convergence theorem, convergence theorem for fuzzy uniform Henstock integrable functions and fuzzy monotone convergence theorem. Finally, a necessary and sufficient condition under which th...

Approximate fixed point theorems for Geraghty-contractions

The purpose of this paper is to obtain necessary and suffcient conditionsfor existence approximate fixed point on Geraghty-contraction. In this paper,denitions of approximate -pair fixed point for two maps Tα , Sα and theirdiameters are given in a metric space.

Discrete Monodromy, Pentagrams, and the Method of Condensation